Catalytic P systems, semilinear sets, and vector addition systems
نویسندگان
چکیده
منابع مشابه
Catalytic P systems, semilinear sets, and vector addition systems
We look at 1-region membrane computing systems which only use rules of the form , where is a catalyst, is a noncatalyst, and is a (possibly null) string of noncatalysts. There are no rules of the form . Thus, we can think of these systems as “purely” catalytic. We consider two types: (1) when the initial configuration contains only one catalyst, and (2) when the initial configuration contains m...
متن کاملSemilinear Sets, Register Machines, and Integer Vector Addition (P) Systems
1 Institute of Mathematics and Computer Science Academy of Sciences of Moldova Str. Academiei 5, Chişinău, MD 2028, Moldova E-mail: [email protected] 2 Dipartimento di Informatica, Sistemistica e Comunicazione Università degli Studi di Milano-Bicocca Viale Sarca 336/14, 20126 Milano, Italy E-mail: {o.belingheri@campus,porreca@disco,zandron@disco}.unimib.it 3 Faculty of Informatics, TU Wien Favorit...
متن کاملProjections of Vector Addition System Reachability Sets are Semilinear
The reachability sets of Vector Addition Systems of dimension six or more can be non-semilinear. This may be one reason why the inclusion problem (as well as the equality problem) for reachability sets of vector addition systems in general is undecidable, even though the reachability problem itself is known to be decidable. We show that any one-dimensional projection of the reachability set of ...
متن کاملSeparability of Reachability Sets of Vector Addition Systems
Given two families of sets F and G, the F separability problem for G asks whether for two given sets U, V ∈ G there exists a set S ∈ F , such that U is included in S and V is disjoint with S. We consider two families of sets F : modular sets S ⊆ N, defined as unions of equivalence classes modulo some natural number n ∈ N, and unary sets. Our main result is decidability of modular and unary sepa...
متن کاملLK-INTERIOR SYSTEMS AS SYSTEMS OF “ALMOST OPEN” L-SETS
We study interior operators and interior structures in a fuzzy setting.We investigate systems of “almost open” fuzzy sets and the relationshipsto fuzzy interior operators and fuzzy interior systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2004
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2003.10.028